The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design
نویسندگان
چکیده
Dynamical systems working have been recognized as essential in the area of computer science, under the name of reactive systems by David Harel. Synchronous languages have been proposed as a paradigm to deal with reactive systems and develop tools for them. In this paper we introduce synchronous programming paradigm via the notion of multiclock dynamical systems and illustrate it via the SIGNAL language. We give an outline of controller synthesis in SIGNAL, and system/architecture design.
منابع مشابه
The SIGNAL declarative synchronous language : controller synthesis & systems / architecture design 1
Dynamical systems working have been recognized as essential in the area of computer science, under the name of reactive systems by David Harel. Synchronous languages have been proposed as a paradigm to deal with reactive systems and develop tools for them. In this paper we introduce synchronous programming paradigm via the notion of multiclock dynamical systems and illustrate it via the SIGNAL ...
متن کاملA Controller Design with ANFIS Architecture Attendant Learning Ability for SSSC-Based Damping Controller Applied in Single Machine Infinite Bus System
Static Synchronous Series Compensator (SSSC) is a series compensating Flexible AC Transmission System (FACTS) controller for maintaining to the power flow control on a transmission line by injecting a voltage in quadrature with the line current and in series mode with the line. In this work, an Adaptive Network-based Fuzzy Inference System controller (ANFISC) has been proposed for controlling o...
متن کاملRobust Controller Design for IG Driven by Variable-Speed in WECS Using μ-Synthesis
This paper presents robust controller design for a wind-driven induction generator system using structured singular value ( -synthesis) method. The controller was designed for a static synchronous compensator (STATCOM) and a variable blade pitch angle in a wind energy conversion system (WECS) in order to achieve the required voltage and mechanical power control. The results indicated that this ...
متن کاملCoordinated Design of PSS and SSSC Damping Controller Considering Time Delays using Biogeography-based Optimization Algorithm
In this paper, a consistent pattern with the optimal coordinated design of PSS and SSSC controller to improve the damping of low frequency oscillations is shown. In this design, sensing and signal transmission time delays are considered as effectiveness parameters. The design problem has been considered an optimization problem and biogeography-based optimization (BBO) algorithm is used for sear...
متن کاملAlleviating the Small-Signal Oscillations of the SMIB Power System with the TLBO–FPSS and SSSC Robust Controller
Power systems are subjected to small–signal oscillations that can be caused by sudden change in the value of large loads. To avoid the dangers of these oscillations, the Power System Stabilizers (PSSs) are used. When the PSSs can not be effective enough, installation of the Thyristor–based compensators to increase the oscillations damping is a suitable method. In this paper, a Static Synchronou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017